type A = (B) | C
